3

The present state of heat treatment at Mogilev enterprises

Année:
1987
Langue:
english
Fichier:
PDF, 452 KB
english, 1987
4

Magari and Δ-pseudo-Boolean algebras

Année:
1990
Langue:
english
Fichier:
PDF, 564 KB
english, 1990
5

Superintuitionistic logics approximated by algebras with the descending chain condition

Année:
1984
Langue:
english
Fichier:
PDF, 155 KB
english, 1984
6

A result on the completeness of superintuitionistic logics

Année:
1984
Langue:
english
Fichier:
PDF, 598 KB
english, 1984
7

Extensions of the provability logic

Année:
1983
Langue:
english
Fichier:
PDF, 494 KB
english, 1983
8

Finite approximability of the IΔcalculus and the existence of an extension having no model

Année:
1981
Langue:
english
Fichier:
PDF, 410 KB
english, 1981
9

Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics

Année:
1981
Langue:
english
Fichier:
PDF, 832 KB
english, 1981
10

Comparison of the topological and relational semantics of superintuitionistic logics

Année:
1983
Langue:
english
Fichier:
PDF, 941 KB
english, 1983
11

AN ALGEBRAIC PROOF OF THE SEPARATION PROPERTY FOR AN INTUITIONISTIC PROVABILITY CALCULUS

Année:
1988
Langue:
english
Fichier:
PDF, 604 KB
english, 1988